Trait isotope::ctx::subst::EvalCtx[][src]

pub trait EvalCtx: SubstCtx {
    fn push_subst(&mut self, subst: TermId) -> Result<(), Error>;
fn pop_subst(&mut self) -> Result<(), Error>; }
Expand description

A context for evaluating terms

Required methods

Push a substitution onto this context

Pop a substitution from this context

Implementors